Boolean function - PDFSEARCH.IO - Document Search Engine

Boolean function
Results: 326

#	Item
151	Logic and Lattices for Distributed Programming Neil Conway William R. Marczak Peter Alvaro Add to Reading List Source URL: db.cs.berkeley.edu Language: English - Date: 2012-10-15 03:54:42 Lattice theory Algebra Order theory Lattice Monotonic function Boolean algebra Semilattice Complete Heyting algebra Complete lattice Abstract algebra Mathematics Algebraic structures
152	New York City College of Technology The City University of New York DEPARTMENT: Mathematics PREPARED BY: Professor Victoria Gitman, Professor Yalin Celikler, Professor Jonas Reitz, Add to Reading List Source URL: www.citytech.cuny.edu Language: English - Date: 2014-07-01 12:53:27 Model theory Boolean algebra Philosophical logic Mathematical proof First-order logic Function Propositional calculus Set theory Theorem Logic Mathematics Mathematical logic
153	ZDD and its applications to intelligent processing Shin-ichi Minato Graduate School of Information Science and Technology Add to Reading List Source URL: www.jst.go.jp Language: English - Date: 2010-11-01 01:10:45 Mathematical logic Binary decision diagram Zero-suppressed decision diagram Boolean function Model checking Truth table Negation Algebraic structure Boolean algebra Mathematics Abstract algebra
154	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: kambing.ui.ac.id Language: English - Date: 2013-08-06 13:14:53 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
155	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: mirrors.ucr.ac.cr Language: English - Date: 2013-08-06 13:14:53 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
156	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: mirrors.hust.edu.cn Language: English - Date: 2013-08-06 13:14:53 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
157	Computer Science Technical Report Computing the moments of k-bounded pseudo-Boolean functions over Hamming spheres of arbitrary radius in polynomial time Andrew M. Sutton, L. Darrell Whitley, Adele E. Howe Add to Reading List Source URL: www.cs.colostate.edu Language: English - Date: 2010-06-24 19:04:53 Coding theory Mathematical analysis Topology Mathematical optimization Pseudo-Boolean function Metric Function Hamming distance Walsh–Hadamard code Mathematics Geometry Metric geometry
158	Lists in TEX’s Mouth Alan Jeffrey August 6, 2013 1 Add to Reading List Source URL: get-software.net Language: English - Date: 2013-08-06 13:14:53 Computability theory Boolean algebra Functions and mappings Lambda calculus Theoretical computer science Monad Boolean data type Function Conditional Mathematics Computing Mathematical logic
159	Improved SAT-Based Boolean Matching Using Implicants for LUT-Based FPGAs Jason Cong and Kirill Minkovich Computer Science Department University of California, Los Angeles Los Angeles, CA 90095, USA Add to Reading List Source URL: cadlab.cs.ucla.edu Language: English - Date: 2007-02-13 15:10:27 Mathematical logic Implicant Lookup table Canonical form Boolean satisfiability problem Conjunctive normal form Binary decision diagram Truth table Boolean function Boolean algebra Theoretical computer science Mathematics
160	Cloning-Based Context-Sensitive Pointer Alias Analysis Using Binary Decision Diagrams John Whaley Monica S. Lam Computer Science Department Stanford University Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2004-04-28 04:04:03 Functions and mappings Binary decision diagram Boolean algebra Model checking Models of computation Datalog Data-flow analysis Function Scope Mathematics Mathematical logic Diagrams

UPDATE